]> dgit.raspbian.org Git - gnome-shell.git/commitdiff
subprojects/extensions-tool: Support stylesheet variants
authorFlorian Müllner <fmuellner@gnome.org>
Tue, 21 Mar 2023 21:56:27 +0000 (22:56 +0100)
committerFlorian Müllner <fmuellner@gnome.org>
Fri, 26 May 2023 16:30:39 +0000 (18:30 +0200)
Now that extensions can provide dark/light variants of their
stylesheet, pick up those files automatically when packaging
an extension.

Part-of: <https://gitlab.gnome.org/GNOME/gnome-shell/-/merge_requests/2324>

subprojects/extensions-tool/man/gnome-extensions.txt
subprojects/extensions-tool/src/command-pack.c

index 85d657bd9b1e5275d05c0cf62742122a23272a5d..25809a2398fbd78f9e57eb6d5f90ffc2a9c362cf 100644 (file)
@@ -140,9 +140,10 @@ Creates a new extension from a template.
 Creates an extension bundle that is suitable for publishing.
 +
 The bundle will always include the required files extension.js
-and metadata.json, as well as the optional stylesheet.css and
-prefs.js if found. Each additional source that should be included
-must be specified with *--extra-source*.
+and metadata.json, as well as any of the optional stylesheet.css,
+stylesheet-dark.css, stylesheet-light.css or prefs.js if found.
+Each additional source that should be included must be specified
+with *--extra-source*.
 +
 If the extension includes one or more GSettings schemas, they can
 either be placed in a schemas/ folder to be picked up automatically,
index f2cfcd51ab58e85967cb0b48ae2e41c0b4d0b968..4c07bf3ad89971d3f908884329e4e2ea61d85e9d 100644 (file)
@@ -387,6 +387,8 @@ pack_extension (char      *srcdir,
   pack = extension_pack_new (srcdir);
   extension_pack_add_source (pack, "extension.js");
   extension_pack_add_source (pack, "metadata.json");
+  extension_pack_add_source (pack, "stylesheet-dark.css");
+  extension_pack_add_source (pack, "stylesheet-light.css");
   extension_pack_add_source (pack, "stylesheet.css");
   extension_pack_add_source (pack, "prefs.js");